COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	val,leora@ibm.com
C00007 ENDMK
C⊗;
val,leora@ibm.com
WOLF
Here are my notes on what we discussed at TARK.  Please consider all
ideas subject to change.  It occurs to me that we might hold the
workshop at MCC in Austin.  It would offer good meeting facilities,
and they might also subsidize the meeting.  Lenat and the CYC
project are strong on common sense these years.

%wfcskr[w90,jmc]		Workshop on formalizing common sense knowledge and reasoning

WORKSHOP ON FORMALIZING COMMON SENSE KNOWLEDGE AND REASONING

maybe Workshop on logical formalization [WOLF]

Time: Winter 1991

Place: New York area (maybe Austin)
Chairman of organizing committee: John McCarthy, Stanford
Program: Vladimir Lifschitz, Stanford
Arrangements: Leora Morgenstern, IBM [Watson]

Papers will be selected to optimize the following.

1. Extending logical formalization to new domains of common sense
knowledge.

2. Formalizations aimed at better solutions of known difficulties
or raising new ones.

3. Formalizations involving both knowledge and action.

4. Formalizations of goal achievement reasoning.

Date for submissions to program organizer: November 1, 1990
(extended abstracts)

Papers will be distributed at meeting, but there won't be a
formal proceedings [We might change this.]

Relevance to AI will be the primary consideration.  New logics
advanced for their own sakes will be regarded with suspicion.

People considering submissions should contact one of the
above-mentioned organizers by telephone, email or mail
to discuss appropriateness of the topic....

******

Leora note [to be toned down]:
	There have been a proliferation of new logics developed
in recent years ostensibly for the purpose of AI reasoning.
Often these logics seem to be developed more for their own
sakes than for the purpose of solving actual problems in
common sense reasoning.   This workshop will focus on
the presentation of formalizations that are designed to tackle
specific problems of common sense reasoning.  Logics are
considered useful for common sense reasoning if theorems can be
proved within the logics and not only about the logics.

******

Names of people to be encouraged to submit papers.

Pat Hayes
Ernie Davis
James Allen
Nils Nilsson
Matt Ginsberg
Don Perlis
Robert Kowalski
David Poole
Henry Kautz
David Etherington?
Yoav Shoham
Drew McDermott
Ken Forbus?
Benjamin Kuipers?
Johann deKleer?
Michael Gelfond
Arkady Rabinov
Judea Pearl?
Robert Moore
Kurt Konolige
Sarit Kraus
James Allen
Doug Lenat
R Guha
Andrew Baker
Fangzhen Lin
Eugene Charniak?
Rich Thomason

Possible foreign:
Japan [Arima},
USSR [Bondarenko?]
UK Edinburgh, Turing Institute
Germany [Reinfrank]
Israel?
China [Ma]
We should encourage some foreign attendance even without papers
from countries where some people might later do useful work.